Verification from Declarative Specifications Using Logic Programming Marco Montali1 , Paolo Torroni1 , Marco Alberti2 , Federico Chesani1 , Marco Gavanelli2 , Evelina Lamma2 , and Paola Mello1 1

Source URL: tmancini.di.uniroma1.it

• Programming paradigms
• Abductive logic programming
• Linear temporal logic
• Model checking
• Formal verification
• NuSMV
• Constraint programming
• Temporal logic
• Declarative programming
• Prolog
• Logic programming
• Entityrelationship model

Free Theorems about Monadic Code Janis Voigtl¨ander University of Bonn EWCE’11

Source URL: www.janis-voigtlaender.eu

• Programming paradigms
• Functional programming
• Programming language theory
• Literate programming
• Monad
• Declarative programming
• Haskell
• Side effect
• Echo
• Referential transparency
• Imperative programming
• Rc

Many  Aspects  of  Programming What  is  Programming?

Source URL: cs.brown.edu

• Programming paradigms
• High-level programming languages
• Object-oriented programming languages
• Scripting languages
• Object-oriented programming
• Computer programming
• Object
• Python
• Bytecode

The Birth of Object Orientation: the Simula Languages∗ Ole-Johan Dahl JuneAbstract

Source URL: www.olejohandahl.info

• Object-oriented programming languages
• Procedural programming languages
• Turing Award laureates
• Simula
• Ole-Johan Dahl
• Programming paradigms
• Object-oriented programming
• Kristen Nygaard
• ALGOL
• BETA
• CLU
• Objective-C

CAAD FUTURES DIGITAL PROCEEDINGSChapter 9

Source URL: cs.gmu.edu

• Software engineering
• Computing
• Computer programming
• Reasoning
• Artificial intelligence
• Expert systems
• Programming paradigms
• Prolog
• Cognitive architecture
• Computer-aided architectural design
• Logic programming
• Inference

LuaAV: Extensibility and Heterogeneity for Audiovisual Computing Graham WAKEFIELD and Wesley SMITH and Charles ROBERTS Media Arts and Technology, University of California Santa Barbara Santa Barbara, CA 93110, USA,

Source URL: mat.ucsb.edu

• Cross-platform software
• Scripting languages
• Software synthesizers
• Programming paradigms
• Lua
• Csound
• Coroutine
• LLVM
• Live coding
• JavaScript
• Extensible programming
• Lua Player

SPECIFIC TARGETED RESEARCH PROJECT INFORMATION SOCIETY TECHNOLOGIES FP6-ISTVIsualize all moDel drivEn programming VIDE

Source URL: vide.tnmsoft.de

• Aspect-oriented software development
• Project management
• Systems engineering
• Programming paradigms
• ISO standards
• Aspect-oriented programming
• Unified Modeling Language
• Work breakdown structure
• Business process modeling
• Software development
• Join point

Akka Stream and HTTP Experimental Java Documentation ReleaseTypesafe Inc

Source URL: doc.akka.io

• Inter-process communication
• Java platform
• Programming paradigms
• Computer data
• Models of computation
• Reactive Streams
• Akka
• Stream
• Scala
• Twitter
• Hashtag
• STREAMS

New Tools and Practices for Online Collaboration in Teaching, Learning, and Research of Programming Languages William E. Byrd University of Utah

Source URL: conf.researchr.org

• Computing
• Software
• Education
• Cross-platform software
• Programming paradigms
• Google Hangouts
• Educational technology
• Google
• Massive open online course
• Go
• Etherpad
• Interactive programming

Quantum ESPRESSO Notes on parallel computing Parallel programming paradigms Most modern electronic-structure code use one of the following approaches, or a

Source URL: users.aims.ac.za